1
60 Odd Years of Moscow Mathematical Olympiads

60 Odd Years of Moscow Mathematical Olympiads

D. Leites (ed.), G. Galperin, A. Tolpygo, P. Grozman, A. Shapovalov, V. Prasolov, A. Fomenko
Տարի:
1997
Լեզու:
english
Ֆայլ:
PDF, 2.63 MB
0 / 0
english, 1997
2
Implement an imperative language compiler in Haskell using LLVM

Implement an imperative language compiler in Haskell using LLVM

Stephen Diehl
Տարի:
2017
Լեզու:
english
Ֆայլ:
PDF, 425 KB
0 / 0
english, 2017
3
Mathematics for computer science

Mathematics for computer science

Lehman E., Leighton T., Meyer A.
Տարի:
2012
Լեզու:
english
Ֆայլ:
PDF, 4.33 MB
5.0 / 0
english, 2012
4
Implementing functional languages: a tutorial

Implementing functional languages: a tutorial

Simon L. Peyton Jones, David R. Lester
Տարի:
2000
Լեզու:
english
Ֆայլ:
PDF, 919 KB
0 / 5.0
english, 2000
5
Visual group theory

Visual group theory

Ernst D.C.
Տարի:
2009
Լեզու:
english
Ֆայլ:
PDF, 2.09 MB
0 / 0
english, 2009
6
Statistical Mechanics

Statistical Mechanics

Daniel F. Styer
Տարի:
2018
Լեզու:
english
Ֆայլ:
PDF, 1.50 MB
0 / 0
english, 2018
7
Optimization algorithms

Optimization algorithms

Weise T.
Տարի:
2009
Լեզու:
english
Ֆայլ:
PDF, 13.14 MB
0 / 0
english, 2009
8
A user's guide to optimal transport

A user's guide to optimal transport

Ambrosio L., Gigli N.
Տարի:
2009
Լեզու:
english
Ֆայլ:
PDF, 924 KB
0 / 0
english, 2009
9
Polinomios e computacao algebrica

Polinomios e computacao algebrica

Coutinho S C
Տարի:
2009
Լեզու:
portuguese
Ֆայլ:
PDF, 3.45 MB
0 / 0
portuguese, 2009
10
Bird's-Eye View of Density-Functional Theory

Bird's-Eye View of Density-Functional Theory

Capelle K. A
Տարի:
2006
Լեզու:
english
Ֆայլ:
PDF, 530 KB
0 / 0
english, 2006
11
Introduction to functional programming

Introduction to functional programming

Harrison J.
Տարի:
1997
Լեզու:
english
Ֆայլ:
PDF, 507 KB
0 / 0
english, 1997
12
Solving systems of polynomial equations

Solving systems of polynomial equations

Sturmfels B.
Տարի:
2002
Լեզու:
english
Ֆայլ:
PDF, 903 KB
0 / 0
english, 2002
13
Elementary number theory

Elementary number theory

Hefferon J, Clark W E
Տարի:
2003
Լեզու:
english
Ֆայլ:
PDF, 374 KB
0 / 0
english, 2003
14
Guide to orchestration

Guide to orchestration

Belkin A.
Տարի:
2008
Լեզու:
english
Ֆայլ:
PDF, 1.79 MB
0 / 0
english, 2008
15
A geometric setting for Hamiltonian perturbation theory

A geometric setting for Hamiltonian perturbation theory

Anthony D. Blaom
Տարի:
2001
Լեզու:
english
Ֆայլ:
PDF, 1.39 MB
0 / 0
english, 2001
16
Practical foundations for programming languages

Practical foundations for programming languages

Harper R.
Տարի:
2010
Լեզու:
english
Ֆայլ:
PDF, 2.14 MB
0 / 0
english, 2010
17
Fundamental problems in algorithmic algebra

Fundamental problems in algorithmic algebra

Yap C.K.
Տարի:
2000
Լեզու:
english
Ֆայլ:
PDF, 4.32 MB
0 / 0
english, 2000
18
Workbook for tonal composition

Workbook for tonal composition

Belkin A.
Տարի:
2008
Լեզու:
english
Ֆայլ:
PDF, 137 KB
0 / 0
english, 2008
19
Number theory for mathematical contests

Number theory for mathematical contests

Santos D.A.
Տարի:
2007
Լեզու:
english
Ֆայլ:
PDF, 678 KB
0 / 0
english, 2007
20
Mathematics for computer science

Mathematics for computer science

Lehman E., Leighton T., Meyer A.
Տարի:
2011
Լեզու:
english
Ֆայլ:
PDF, 3.46 MB
0 / 0
english, 2011
21
Algebraic combinatorics in mathematical chemistry

Algebraic combinatorics in mathematical chemistry

Klin M., et al.
Տարի:
2003
Լեզու:
english
Ֆայլ:
DJVU, 1017 KB
0 / 0
english, 2003
22
Temporal verification of reactive systems: progress

Temporal verification of reactive systems: progress

Manna Z., Pnueli A.
Տարի:
1996
Լեզու:
english
Ֆայլ:
PDF, 1.40 MB
0 / 0
english, 1996
23
The MPFR library: algorithms and proofs

The MPFR library: algorithms and proofs

Hanrot G., Levefre P., Pelissier P., Theveny P., Zimmerman P.
Տարի:
2014
Լեզու:
english
Ֆայլ:
PDF, 970 KB
0 / 0
english, 2014
24
Topics in concurrency: lecture notes

Topics in concurrency: lecture notes

Winskel G.
Տարի:
2009
Լեզու:
english
Ֆայլ:
PDF, 664 KB
0 / 0
english, 2009
25
Theory of complexity classes

Theory of complexity classes

Yap C.K.
Տարի:
2009
Լեզու:
english
Ֆայլ:
PDF, 4.75 MB
0 / 0
english, 2009
26
General principles of harmony

General principles of harmony

Belkin A.
Տարի:
2008
Լեզու:
english
Ֆայլ:
PDF, 425 KB
0 / 0
english, 2008
27
Lost causes in physics

Lost causes in physics

Streeter R.F.
Տարի:
2003
Լեզու:
english
Ֆայլ:
GZ, 32 KB
0 / 0
english, 2003
28
Manual Hints, Tips, and Short Answers to Selected Problems in Moore, A General Relativity Workbook

Manual Hints, Tips, and Short Answers to Selected Problems in Moore, A General Relativity Workbook

Moore T.A.
Տարի:
2015
Լեզու:
english
Ֆայլ:
PDF, 567 KB
0 / 0
english, 2015
29
A general relativity workbook

A general relativity workbook

Moore T.A.
Տարի:
2010
Լեզու:
english
Ֆայլ:
PDF, 6.33 MB
0 / 0
english, 2010